寿命型产品定数截尾可靠性鉴定试验方案

寿命型产品定数截尾试验方案的研究较少。首先从理论上证明了寿命服从指数分布的产品,无论对定数截尾试验中的故障产品是否用新产品替换,其鉴定试验方案的设计公式完全相同。之后推导出了同时能满足检验上限、检验下限、生产方风险、使用方风险要求的定数截尾鉴定试验方案设计公式,并用GB 5080.7中的数据验证其正确性。给出了指数寿命型产品定数截尾试验中的接收概率公式,并推论出同一产品在不同试验方案的鉴定结果可能完全相反。最后,建议在鉴定试验前尽可能知晓产品的可靠性水平,从而可有目的选择或设计试验方案,以求产品高概率通过鉴定试验。     

求多边形最小包容矩形的遗传算法

建立了求任意多边形包容矩形的数学模型 ,将求最小包容矩形问题转化为函数优化问题 ,并用遗传算法求得函数的最优解     

关于最优箭线网络图的定义及其唯一性的讨论

近年来,关于最优箭线网络图的绘制规则已有许多种方法。然而,最优箭线图是否是唯一的,有关文献都没有讨论这个问题。本文通过一个反例,指出目前常用的最优箭线网络图的定义是不完整的,符合这一定义的最优图也不是唯一的,文中给出了一个新的定义,并证明有了这一新的定义,就可根据作业分析表唯一地确定最优箭线网络图。     

计算机内插图形和外插图形的研究

计算机内插图形和外插图形是计算机图形学中由图形生成图形的两种基本方法，用该方法可以生成许多有趣的图形、图案，在计算机动画模拟图案设计中有着广泛的应用。本文介绍了二维内插图形和二维外插图形的基本概念、表示方法和实际应用。内插图形和外插图形的方法，可使生成的图形美观生动，具有较大的实用价值。     

关于运输网络堵塞流动的研究——分支定界法在求解网络最小流上的应用（Ⅲ）

堵塞是以人为主体在运输网络中经常发生的一种现象。本文中所定义的网络最小流是指在最严重堵塞的情况下通过网络的最大流量，是设计和运行一个运输网络，特别是一个紧急疏散网络的重要参数。本文在堵塞流理论研究的基础上，提出了一种用分支定界思想来求解网络最小流问题的方法，并用实例说明了该算法过程及其应用领域     

复合材料旋翼桨叶剖面扭转刚度计算

本文对Krahula,J.L.等人提出的“圣维南扭转的有限元解”作了合理的改进,使改进后的公式能很方便地编成计算程序,作复合材料旋翼桨叶的扭转刚度计算。还应用改进后的公式计算了两种型号直升机旅翼桨叶的扭转刚度,计算值和试验值有很好的一致性。     

Shape control of spacecraft formation using a virtual spring-damper mesh

This paper derives a distance-based formation control method to maintain the desired formation shape for spacecraft in a gravitational potential field. The method is an analogy of a vir-tual spring-damper mesh. Spacecraft are connected virtually by spring-damper pairs. Convergence analysis is performed using the energy method. Approximate expressions for the distance errors and control accelerations at steady state are derived by using algebraic graph representations and results of graph rigidity. Analytical results indicate that if the underlying graph of the mesh is rigid, the convergence to a static shape is assured, and higher formation control precision can be achieved by increasing the elastic coefficient without increasing the control accelerations. A numerical exam-ple of spacecraft formation in low Earth orbit confirms the theoretical analysis and shows that the desired formation shape can be well achieved using the presented method, whereas the orientation of the formation can be kept pointing to the center of the Earth by the gravity gradient. The method is decentralized, and uses only relative measurement information. Constructing a distributed virtual structure in space can be the general application area. The proposed method can serve as an active shape control law for the spacecraft formations using propellantless internal forces.     

Bipartite graph-based control flow checking for COTS-based small satellites

Single event upset(SEU)effect,caused by highly energized particles in aerospace,threatens the reliability and security of small satellites composed of commercial-off-the-shelves(COTS).SEUinduced control flow errors(CFEs)may cause unpredictable behavior or crashes of COTS-based small satellites.This paper proposes a generic software-based control flow checking technique(CFC)and bipartite graph-based control flow checking(BGCFC).To simplify the types of illegal branches,it transforms the conventional control flow graph into the equivalent bipartite graph.It checks the legality of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead.Theoretical analysis shows that BGCFC can detect all types of inter-node CFEs with constant time and memory overhead.Practical tests verify the result of theoretical analysis.Compared with previous techniques,BGCFC achieves the highest error detection rate,lower time and memory overhead;the composite result in evaluation factor shows that BGCFC is the most effective one among all these techniques.The results in both theory and practice verify the applicability of BGCFC for COTS-based small satellites.     

Joint Iterative Decoding for Network-Coding-Based Multisource LDPC-Coded Cooperative MIMO

A network-coding-based multisource LDPC-coded cooperative MIMO scheme is proposed,where multiple sources transmit their messages to the destination with the assistance from a single relay.The relay cooperates with multiple sources simultaneously via network-coding.It avoids the issues of imperfect frequency/timing synchronization and large transmission delay which may be introduced by frequency-division multiple access(FDMA)/code-division multiple access(CDMA)and time-division multiple access(TDMA)manners.The proposed joint″Min-Sum″iterative decoding is effectively carried out in the destination.Such a decoding algorithm agrees with the introduced equivalent joint Tanner graph which can be used to fully characterize LDPC codes employed by the sources and relay.Theoretical analysis and numerical simulation show that the proposed scheme with joint iterative decoding can achieve significant cooperation diversity gain.Furthermore,for the relay,compared with the cascade scheme,the proposed scheme has much lower complexity of LDPC-encoding and is easier to be implemented in the hardware with similar bit error rate(BER)performance.     

多发飞机着陆进场最小操纵速度人机闭环仿真

为了提高着陆进场最小操纵速度(VMCL)的分析预测精度,提出了一种通过人机闭环数学仿真来计算多发飞机着陆进场VMCL的方法。考虑临界发动机突然停车后拉力的衰减过程、驾驶员意识到发动机失效后采取操纵的时间延迟,以及符合VMCL验证试飞操纵特点的驾驶员模型,建立了能够真实模拟VMCL验证试飞过程及驾驶员操纵策略的某型四发螺旋桨飞机人机闭环仿真数学模型。仿真结果表明,该方法可以准确模拟VMCL验证试飞时发动机衰减特性、舵机动态特性、驾驶员反应延迟等因素的影响,以及飞机各运动参数的动态变化过程。